Towards a denotational semantics for ET-LOTOS
نویسندگان
چکیده
The formal speciication language LOTOS is an international standard for use in Open Systems Interconnection. A timed extension called ET-LOTOS has been proposed. This paper presents a fully-abstract denotational semantics for the process algebraic component of this extension. The beneets of a denotational semantics are discussed, as are the applications.
منابع مشابه
A True Concurrency Semantics for ET-LOTOS
One of the central objectives of the LOTOS re-standardisation activity is to deene an enhanced LOTOS language which supports real-time speciica-tion. The timed extension is based upon a timed LOTOS proposal ET-LOTOS. This paper deenes a (branching-time) non-interleaving semantics for ET-LOTOS without data. As a denotational model a suitable timed extension of Langerak's bundle event structures ...
متن کاملReal - time
This paper is intended to support and stimulate discussion at the COST 247 meeting in Brighton, 19th and 20th July 1994. It begins with a comprehensive introduction to the language of real-time CSP. This is followed by an overview of timed observations, the objects that provide a denotational semantics for the language. There is then a brief introduction to the language of ET-LOTOS, one of the ...
متن کاملCharacterizing termination in LOTOS via testing
We study termination of LOTOS behaviors. In order to characterize termination, we rst deene a testing semantics for LOTOS in the classical way giving a fully abstract characterization in terms of acceptance sets. We show that this testing semantics does not properly capture termination. Then we modify the testing semantics by extending the class of admissible tests, to obtain a new equivalence ...
متن کاملTesting Semantics for Probabilistic LOTOS
In this paper we present a probabilistic extension of LOTOS which is upward compatible with LOTOS. We present testing semantics for the reactive and generative models described in vGSST90]. While there is a certain lose of the meaning of probabilities in the reactive model, testing with probabilistic tests proves to be too strong, because it does not relate behavior expressions which we expect ...
متن کاملNon-standard Interpretations of LOTOS Specifications
Non-standard interpretations of LOTOS specifications are proposed as a most convenient and conservative way to extend the expressivity of the language without affecting its standard syntax and transition-system-based semantics. Some simple non-standard interpretations, alse called view functions, are introduced. Two different styles of formal definition are adopted (denotational and operational...
متن کامل